- limited recursion
- ограниченная рекурсия
English-Russian electronics dictionary .
English-Russian electronics dictionary .
Poverty of the stimulus — The poverty of the stimulus (POTS) argument is a variant of the epistemological problem of the indeterminacy of data to theory that claims that grammar is unlearnable given the linguistic data available to children. As such, the argument strikes… … Wikipedia
Grzegorczyk hierarchy — The Grzegorczyk hierarchy, named after the Polish logician Andrzej Grzegorczyk, is a hierarchy of sets of functions used in recursive function theory. Every function in the Grzegorczyk hierarchy is a primitive recursive function, and every… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Pirahã language — Pirahã xapaitíiso Pronunciation [ʔàpài̯ˈt͡ʃîːsò] Spoken in Brazil Region Amazon River … Wikipedia
Primitive recursive function — The primitive recursive functions are defined using primitive recursion and composition as central operations and are a strict subset of the recursive functions (recursive functions are also known as computable functions). The term was coined by… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Lisp (programming language) — Infobox programming language name = Lisp paradigm = multi paradigm: functional, procedural, reflective generation = 3GL year = 1958 designer = John McCarthy developer = Steve Russell, Timothy P. Hart, and Mike Levin latest release version =… … Wikipedia
Subroutine — In computer science, a subroutine (function, method, procedure, or subprogram) is a portion of code within a larger program, which performs a specific task and can be relatively independent of the remaining code. The syntax of many programming… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Origin of language — The origin of language is the emergence of language in the human species. This is a highly controversial topic, empirical evidence being so limited that many regard it as unsuitable for serious scholars. In 1866, the Linguistic Society of Paris… … Wikipedia